OIL[2]
Operator Identification Language
A language used for specification of overload resolution by the Eli compiler-writing system.